Dynamic predicate logic

Dynamic Predicate Logic

Dynamic Modal Predicate Logic

Contexts in Dynamic Predicate Logic

In this paper we introduce a notion of context for Groenendijk Stokhof s Dynamic Predicate Logic DPL We use these contexts to give a characterization of the relations on assignments that can be generated by composition from tests conditions and random resettings in the case that we are working over an in nite domain These relations are precisely the ones de nable in DPL if we allow ourselves ar...

Relational Validity Dynamic Predicate Logic

In this paper we prove that the principles in the language with relation composition and dynamic implication valid for all binary relations are the same ones as the principles valid when we restrict ourselves to DPL relations i e relations generated from conditions tests and resettings

Programming with Dynamic Predicate Logic

We propose to bring together two research traditions, computation with first order logic from computer science, and dynamic interpretation of first order logic from natural language semantics. We define a new executable process interpretation for first order logic, and show that it is a faithful approximation of the dynamic interpretation procedure for first order formulas. We then demonstrate ...